Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Boolean Blindness
existentialtype.wordpress.com·5d·
Discuss: Hacker News
⚖️Hoare Logic
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·5h
📞Session Types
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·2d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Proving that every program halts
ntietz.com·2d
👑Isabelle
Hypercubical manifolds in homotopy type theory
arxiv.org·10h
🔶Cubical Type Theory
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Oreo's Top K Treats (Bucket Sort)
dev.to·3h·
Discuss: DEV
🌊Streaming Algorithms
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Fun with Logical Fallacies
fs.blog·3d·
Discuss: Hacker News
🔲Cellular Automata
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference